WCET Optimizations and Architectural Support for Hard Real-Time Systems

As time predictability is critical to hard real-time systems, it is not only necessary to accurately estimate the worst-case execution time (WCET) of the real-time tasks but also desirable to improve either the WCET of the tasks or time predictability of the system, because the real-time tasks with lower WCETs are easy to schedule and more likely to meat their deadlines. As a real-time system is an integration of software and hardware, the optimization can be achieved through two ways: software optimization and time-predictable architectural support. In terms of software optimization, we fi rst propose a loop-based instruction prefetching approach to further improve the WCET comparing with simple prefetching techniques such as Next-N-Line prefetching which can enhance both the average-case performance and the worst-case performance. Our prefetching approach can exploit the program controlow information to intelligently prefetch instructions that are most likely needed. Second, as inter-thread interferences in shared caches can signi cantly a ect the WCET of real-time tasks running on multicore processors, we study three multicore-aware code positioning methods to reduce the inter-core L2 cache interferences between co-running real-time threads. One strategy focuses on decreasing the longest WCET among the co-running threads, and two other methods aim at achieving fairness in terms of the amount or percentage of WCET reduction among co-running threads. In the aspect of time-predictable architectural support, we introduce the concept of architectural time predictability (ATP) to separate timing uncertainty concerns caused by hardware from software, which greatly facilitates the advancement of time-predictable processor design. We also propose a metric called Architectural Time-predictability Factor (ATF) to measure architectural time predictability quantitatively. Furthermore, while cache memories can generally improve average-case performance, they are harmful to time predictability and thus are not desirable for hard real-time and safety-critical systems. In contrast, Scratch-Pad Memories (SPMs) are time predictable, but they may lead to inferior performance. Guided by ATF, we propose and evaluate a variety of hybrid on-chip memory architectures to combine both caches and SPMs intelligently to achieve good time predictability and high performance. Detailed implementation and experimental results discussion are presented in this dissertation

Distribution, variability and sources of tropospheric ozone over south China in spring: intensive ozonesonde measurements at five locations and modeling analysis

We examine the characteristics of the spatial distribution and variability of tropospheric ozone (O3) by analysis of 93 ozonesonde profiles obtained at five stations over south China (18–30 N) during a field campaign in April–May 2004. We use a global 3-D chemical transport model (GEOS-Chem) to interpret these characteristics and to quantify the sources of tropospheric O3 over south China during this period. The observed tropospheric O3 mixing ratios showed strong spatiotemporal variability due to a complex interplay of various dynamical and chemical processes. A prominent feature in the upper and middle troposphere (UT/MT) was the frequent occurrence of high O3 mixing ratios shown as tongues extending down from the lower stratosphere or as isolated layers at all stations. The model largely captured the observed pattern of day-to-day variability in tropospheric O3 mixing ratios at all stations, but often underestimated those tongues or isolated layers of O3 enhancements observed in the UT/MT, especially at low-latitude stations. We found that tropospheric O3 along the southeast China coast was mainly produced within Asia. Lightning NOx emissions (over South Asia and equatorial Africa) and/or stratospheric influences were responsible for major events of high O3 observed in the UT/MT at all stations. Underestimated contributions of these sources likely led to the model’s underestimate in the low-latitude UT/MT O3. This study emphasizes the need for improved understanding of lightning NOx emissions and stratospheric influences over the Eurasian and African continents and for better representation of these processes in current global models

Analysis of synonymous codon usage in Hepatitis A virus

<p>Abstract</p> <p>Background</p> <p>Hepatitis A virus is the causative agent of type A viral hepatitis, which causes occasional acute hepatitis. Nevertheless, little information about synonymous codon usage pattern of HAV genome in the process of its evolution is available. In this study, the key genetic determinants of codon usage in HAV were examined.</p> <p>Results</p> <p>The overall extent of codon usage bias in HAV is high in <it>Picornaviridae</it>. And the patterns of synonymous codon usage are quite different in HAV genomes from different location. The base composition is closely correlated with codon usage bias. Furthermore, the most important determinant that results in such a high codon bias in HAV is mutation pressure rather than natural selection.</p> <p>Conclusions</p> <p>HAV presents a higher codon usage bias than other members of <it>Picornaviridae</it>. Compositional constraint is a significant element that influences the variation of synonymous codon usage in HAV genome. Besides, mutation pressure is supposed to be the major factor shaping the hyperendemic codon usage pattern of HAV.</p

The Main Progress of Perovskite Solar Cells in 2020–2021

Perovskite solar cells (PSCs) emerging as a promising photovoltaic technology with high efficiency and low manufacturing cost have attracted the attention from all over the world. Both the efficiency and stability of PSCs have increased steadily in recent years, and the research on reducing lead leakage and developing eco-friendly lead-free perovskites pushes forward the commercialization of PSCs step by step. This review summarizes the main progress of PSCs in 2020 and 2021 from the aspects of efficiency, stability, perovskite-based tandem devices, and lead-free PSCs. Moreover, a brief discussion on the development of PSC modules and its challenges toward practical application is provided

A Comparison Study of the Radial and Non-Radial Support Schemes in the Deep Coal Mine Roadways under TBM Excavation by the 3-D Equivalent Continuum Approach

In recent years, TBM has been widely applied in deep coal mining to lift the TBM tunneling efficiency and avoid accidents, and more flexible support schemes are expected and required. This research aims to evaluate the performance of the two different support schemes and to study the law of the support effect. A three-dimensional continuum model was established based on the available geological information, and the support effect at the three-dimensional level was studied by changing the support spacing and was assessed in term of the stress, displacement, failure zone, bolt force distributions, and axial deformation behavior of the tunnel. The results show that no matter what the geological condition was, the support of the non-radial support was a little lower than that of the radial support, and with a worse geological condition, the non-radial support had a better performance in the stabilizing tunnel. Additionally, the law of the support effect was found. The interlapping of the support influence domain was the essence of the increase in the support effect. Finally, according to the support law, the appropriate support spacing is found, which is smaller than 50% of the support influence domain length